body {
  font-family: sans-serif;
}

h1.main {
  text-align: center;
}

td {
  padding: 4px;
}

table.main {
  background: #444;
  margin-left: 2em;
}

div.additional h3 {
  cursor: pointer;
}

div.additional pre {
  margin-left: 2em;
}

table.main tr.head {
  background: #fee;
  width:      100%;
}

table.main tr {
  background: #fff;
}

table.main tr.source_container {
  display:    none;
}

tr.source td {
  padding: 0;
}

tr.source_container div {
  width:      100%;
  overflow:   auto;
}

tr.source_container div table {
  background: #ddd;
  width:      100%;
}

tr.source_container div table tr {
  text-align:center;
}

tr.source_container div table tr.source {
  text-align:left;
}

div.source {
  background: #fff;
  padding: 6px;
}

div.source td.editor {
  font-size: 0.8em;
}

tr.source {
  font-size: 1.0em;
}

tr.source td.lineno {
  font-size: 0.9em;
  font-family: monospace;
}

tr.source td.lineno, tr.line td.lineno {
  text-align: right;
}

tr.line td {
  cursor: pointer;
}

tr.source td.code pre {
  margin: 0;
  font-family: monospace;
}
